Formal systems and analysis of context sensitive languages
نویسندگان
چکیده
منابع مشابه
Characterizations of Context-Sensitive Languages
We give “syntactic” characterizations of context-sensitive languages (CSLs) in terms of some restricted models of symport/antiport P systems. These are the first such characterizations of CSLs in terms of P systems. In particular, we show the following for any language L over a binary alphabet: 1. Let m be any integer ≥ 1. Then L is a CSL if and only if it can be accepted by a restricted sympor...
متن کاملParsing of Context-Sensitive Languages
This art icle presents some ideas from parsing Context-Sensit ive languages. Introduces Scattered-Context grammars and languages and describes usage of such grammars to parse CS languages. Also there are presented additional results fronr type checking and formal prograrn verification using CS parsing. I{eywords: Turing Machines, Parsing of Context-Sensitive Languages, Fornral Program Verificat...
متن کاملMildly Context-Sensitive Dependency Languages
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constraints have been proposed to identify classes of dependency structures that are wellbalanced in this sense; the best-known but also most restrictive of these is projectivity. Most constraints are formulated on fully specif...
متن کاملOn Growing Context-Sensitive Languages
Growing context-sensitive grammars (GCSG) are investigated. The variable membership problem for GCSG is shown to be NP-complete. This solves a problem posed in DW86]. It is also shown that the languages generated by GCSG form an abstract family of languages and several implications are presented.
متن کاملTable-driven and context-sensitive collage languages
In this paper, we introduce the notions of context-sensitive and TOL collage grammars as generalizations of context-free collage grammars. Both kinds of picture generating devices are more powerful than the context-free case. Nevertheless, the sizes of collages in a TOL collage language can be shown to grow at most exponentially. In contrast to this, there are no such bounds for context-sensiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1972
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/15.3.229